% Type the command ``make pdf'' to generate the PDF poster of this language.
% Alternatively, type in the equivalent command
% kompile ocl-semantics.k -l OCL-SEMANTICS -style bb -pdf OCL-SYNTAX VALUES META-MODEL-INTERFACE OCL-SEMANTICS -topmatter README.tex
% The generated ocl-semantics.pdf file is easier to read than the actual ASCII files.

\setlength{\parindent}{1em}


\newcommand{\ocl}{\mbox{\textsc{ocl}}\xspace}

\title{OCL}
\author{
  Vlad Rusu (\texttt{Vlad.Rusu@inria.fr}) and 
  Dorel Lucanu (\texttt{dlucanu@info.uaic.ro})
}
\organization{ Inria Lille, France\qquad Al. I. Cuza University of Ia\c{s}i, Romania}

\maketitle

\begin{latexComment}
\section{Abstract}
This is the \K semantic definition of the \ocl language.
\end{latexComment}

\vspace*{3ex}
